MakeBatch
MakeBatch benötigt die gleichen Parameter wie MakeTeXFont, es
generiert die Fonts allerdings nicht sofort, sondern schreibt nur Aufrufe von
MakeTeXFont in eine Batchdatei mit dem Namen MakeTeXFont.sh,
die dann so aussehen kann:
rx MakeTeXFont cmr10 91 91 91 show 91/cmr10.91pk TeX:pk/
rx MakeTeXFont cmr10 100 100 100 show 100/cmr10.100pk TeX:pk/
rx MakeTeXFont cmr10 120 100 100 show 120/cmr10.120pk TeX:pk/
Dieses File kann später einfach mit execute ausgeführt werden. Das
ist sinnvoll wenn zum Beispiel viele Fonts erzeugt werden sollen und man in
ShowDVI nicht darauf warten will, oder wenn sonst Speicherprobleme
auftreten.
MakeBatch trägt keine Fonts doppelt ein! Es macht also nichts, sich in
ShowDVI mehrere Files, in denen möglicherweise dieselben Fonts
fehlen, anzeigen zu lassen.
Unterabschnitte